Curry–Howard isomorphism - suto3の大福帳

Curry–Howard isomorphism

カリー＝ハワード同型対応

/suto3/google.iconCurry–Howard isomorphism

画像 Curry–Howard isomorphism

定義 Curry–Howard isomorphism

wikipedia Curry–Howard isomorphism

weblio Curry–Howard isomorphism

kotobank Curry–Howard isomorphism

jisho Curry–Howard isomorphism